# 启用结果报告
REPORT_MODE = 0

# 打印控制台中的所有内容
PRINT_MODE = 0

# 启用日志文件打印所有异常
DEBUG_MODE = 0

# 并发检查假阳性
CHECK_CONCURRENCY_FP = 0

# z3 超时时间，单位为毫秒
TIMEOUT = 100

# 如果我们想做 evm 实值单元测试，将这个标志设置为 2
# 如果我们想做 evm 符号单元测试，将这个标志设置为 3
UNIT_TEST = 0

# 运行符号执行的超时时间(秒)
GLOBAL_TIMEOUT = 50

# 为测试而运行符号执行的超时(以秒为单位)
GLOBAL_TIMEOUT_TEST = 2

# 打印路径条件
PRINT_PATHS = 0

# WEB = 1 表示我们正在使用 Oyente 进行 WEB 服务
WEB = 0

# 将结果重定向到json文件。
STORE_RESULT = 0

# DFS的深度限制
DEPTH_LIMIT = 50

GAS_LIMIT = 4000000

LOOP_LIMIT = 10

# 使用公共区块链来加速符号执行
USE_GLOBAL_BLOCKCHAIN = 0

USE_GLOBAL_STORAGE = 0

# 从 state.json 获取 状态 数据来加速符号执行
# Take state data from state.json to speed up the symbolic execution
INPUT_STATE = 0

# 检查断言 assertions
CHECK_ASSERTIONS = 0

GENERATE_TEST_CASES = 0

# 并行运行 Oyente
PARALLEL = 0

# 目标智能合约名称的可迭代对象
TARGET_CONTRACTS = None
